1. AML--The Agent Modeling Language
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
2. Code craf
Author: / Pete Goodliffe
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming.,Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
6
,.
G656
,
2006eb
3. Code craft
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
4. Domain-specific modelin
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Computer software--Development
Classification :
QA
,
76
.
7
,.
K45
,
2008eb
5. Domain-specific modeling
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Computer software- Development
Classification :
QA76
.
7
.
K45
2008
6. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
7. Mastering Rust :
Author: Vesa Kaihlavirta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
Classification :
QA76
.
7
8. MetaSoft primer :
Author: Andrzej Blikle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
.
B57
1987
9. MetaSoft primer : towards a metalanguage for applied denotational semantics
Author: Andrzej Blikle
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
288
10. Practical TLA+ :
Author: Hillel Wayne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
Classification :
QA76
.
7
11. Rust essentials :
Author: Ivo Balbaert
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Computer programming,Programming languages (Electronic computers)
Classification :
QA76
.
7
12. Software language engineering :
Author: Anneke Kleppe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
Classification :
QA76
.
7
.
K576
2009
13. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Author: SLE 8002)8002 :Toulouse, France(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
Classification :
QA
76
.
7
.
S587
2008
14. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95
15. The Agent Modeling Language--AML
Author: / Radovan Cervenka, Ivan Trencansky
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
76
,.
I58
,
C47
,
2007
16. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996
